Characterizing Boundedness in Chase Variants

Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant

The chase procedure is an indispensable tool for several database applications, where its termination guarantees decidability of these tasks. Most previous studies have focused on the skolem chase variant and its termination. It is known that the standard chase variant is more powerful in termination analysis provided a database is given. But all-instance termination analysis presents a challen...

Metabolomics cuts to the chase to chase the cuts.

type II diabetes5. However, like most proteases, a complete picture of the targets of DPP4 is lacking, which makes it difficult to anticipate metabolic function has prompted the development of a number of small-molecule inhibitors of DPP4, including sitagliptin (Januvia), which was recently approved by the US Food Proteases are enzymes that perform the basic task of cutting up other proteins an...

Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of CFL-Reachability for Threads Communicating via Locks

The problem of Pairwise CFL-reachability is to decide whether two given program locations in different threads are simultaneously reachable in the presence of recursion in threads and scheduling constraints imposed by synchronization primitives. Pairwise CFL-reachability is the core problem underlying concurrent program analysis especially dataflow analysis. Unfortunately, it is undecidable eve...

Characterizing isomiR variants within the microRNA‐34/449 family

miR-34/449 microRNAs are conserved regulators of multiciliated cell differentiation. Here, we evidence and characterize expression of two isomiR variant sequences from the miR-34/449 family in human airway epithelial cells. These isomiRs differ from their canonical counterparts miR-34b and miR-449c by one supplemental uridine at their 5'-end, leading to a one-base shift in their seed region. Ov...

Margaret Chase Smith library